Automatic generation produced by ISE Eiffel
indexing
description: "Sorts a given list of actual MP3_files and moves if wished them on the hd. The criterias are id3-tag artist, title and then the filename "
author: "David Murer"
revision: "0.1.0"
class interface
MP3_SORT
create
make_with_files
feature
make_with_files (files: LINKED_LIST [STRING])
-- create with files
require
files_not_void: files /= Void
ensure
sorted_not_empty: sorted /= Void and then not sorted.is_empty
sorted_name_not_empty: sorted_name /= Void and then not sorted_name.is_empty
feature
mp3_files: LIST [STRING]
--alle pfadangaben der files die sortiert werden m ssen
feature
sorted: ARRAYED_LIST [MP3_DIRECTORY [MP3_FILE]]
feature
sorted_name: ARRAYED_LIST [STRING]
feature
set_mp3_files (files: LIST [STRING])
--alle pfadangaben der files die sortiert werden m ssen
feature
sort
--sortiert alle mp3files in mp3_files und setzt die liste sorted[MP3_DIRECTORY]
ensure
sorted_not_void: sorted /= Void
feature
move (target: STRING; yes: BOOLEAN)
--verschiebt die files auf der festplatte falls gewuenscht und gibt ihnen noch einen neuen namen aus dem --id3-tag (falls vorhanden)
require
sorted_not_void: sorted /= Void
target_not_void: target /= Void
feature
null_elimination (temp_string: STRING): STRING
-- eliminates all the characters with code "0" of a string
require
temp_string_not_void: temp_string /= Void
feature
multiple_space_elim (temp_string: STRING): STRING
-- eleminates multiple spaces out of the string
require
temp_string_not_void: temp_string /= Void
feature
file_name_comparision (input: STRING)
-- compares the file name with all the directories and returns a value how good their matching
require
sorted_name_not_void: sorted_name /= Void
input_not_void: input /= Void
input_count_non_zero: input.count /= 0
invariant
mp3_files_not_void: mp3_files /= Void
end -- class MP3_SORT
-- Generated by ISE Eiffel --
For more details: www.eiffel.com